Contents of Defining new arrow types

<line type> is one of the following (shown above a sample):

$\displaystyle \spreaddiagramcolumns$ -1pc $\displaystyle \spreaddiagramrows$ -1pc $\displaystyle \diagram$ | $\displaystyle \solid$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \solid$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > & | $\displaystyle \Solid$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \Solid$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > & | $\displaystyle \Ssolid$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \Ssolid$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > &

| $\displaystyle \dashed$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \dashed$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > & | $\displaystyle \Dashed$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \Dashed$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > & | $\displaystyle \Ddashed$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \Ddashed$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc >

| $\displaystyle \dotted$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \dotted$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > & | $\displaystyle \Dotted$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \Dotted$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > & | $\displaystyle \Ddotted$ | $\displaystyle \go$ + DL $\displaystyle \morphism$ $\displaystyle \Ddotted$ $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > $\displaystyle \null$
$\displaystyle \diagram$

or the special | $\dottedwith$ | x|| (where x may be any math formula) to typeset lines like

$\displaystyle \xy$ $\displaystyle \morphism$ $\displaystyle \dottedwith$ x $\displaystyle \notip$ $\displaystyle \notip$ + < 3pc, -2pc > * $\displaystyle \xy$

The first <tip> specifies what to do with the target end of the connection, the second with the base end. Each must be either || if no tip is desired, one of the tips described in section ??[arrows.tips], or several such tips grouped together in ||...|| (, use || to get the tip of $\diagram$ $\morphism$ $\solid$ $\tip$ $\stop$ $\notip$ [0, 1] & $\diagram$ ). Remember to use the special || with || and ||.

You can also define new `straight arrow types' that are available in all the standard directions shown in the figure in section ??[basics.arrows] as well as the `|x|-form'. The following uses this for a new arrow type |mapsto|:
$\begin{code} \definemorphism{mapsto}\solid\tip\stop \diagram A \rmapsto^f & A\times A \dlmapsto_g \\ B \umapsto \enddiagram \end{code}$
typesets

$\displaystyle \docode$

The "v3" arrow and directional commands make this obsolete in that most arrows can be specified directly in a very compact way.